A tool for deriving the universal blood donor

Cocktail: A Tool for Deriving Correct Programs

Cocktail is a tool for deriving correct programs from their specifications. The present version is powerful enough for educational purposes. The tool yields support for many sorted first order predicate logic, formulated in a pure type system with parametric constants (CPTS), as the specification language, a simple Whilelanguage, a Hoare logic represented in the same CPTS for deriving programs ...

Mani and shapur a universal faith for e universal kingdom

Discrepancy in ABO Blood Grouping in a Blood Donor: A Case Report

Detection of ABO blood groups through agglutination is the basis of pre-transfusion testing. However, weak agglutination reactions may be obtained with reagent antibodies and are a result of weak expression of A and B antigens on red blood cell surface which may cause a discrepancy in blood group typing. Here, we report a donor which showed discrepancy between red blood cells (forward) and seru...

A febrile blood donor.

A 4-day-old neonate born prematurely at 29 weeks gestation developed thrombocytopenia (platelet count 43 10/L) with associated severe pulmonary and intracranial hemorrhaging. Urgent transfusions with 10 mL/kg of packed red cells and 10 mL/kg of platelet concentrate were given. These were sourced from blood donated 2 days earlier in Singapore by a 21-yearold female university student who was cli...

A Support Tool for Deriving Domain Taxonomies from Wikipedia

Organizing data into category hierarchies (taxonomies) is useful for content discovery, search, exploration and analysis. In industrial settings targeted taxonomies for specific domains are mostly created manually, typically by domain experts, which is time consuming and requires a high level of expertise. This paper presents an algorithm and an implemented interactive system for automatically ...